『Logical Foundations』
Logical Foundations
#「ソフトウェアの基礎(Software_Foundations)」シリーズ
#Coq
#文献